大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

Inductive Logic Programming [electronic resource] : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

0
索取号：
作者：Blockeel、 Hendrik.、Ramon、 Jan.、Shavlik、 Jude.、Tadepalli、 Prasad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

0
索取号：
作者：Yorav、 Karen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Reflections on the Teaching of Programming [electronic resource] : Methods and Implementations

0
索取号：
作者：Bennedsen、 Jens.、Caspersen、 Michael E.、K枚lling、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Architectures, Components, and Applications [electronic resource] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

0
索取号：
作者：Overhage、 Sven.、Szyperski、 Clemens A.、Reussner、 Ralf.、Stafford、 Judith A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Rationale-Based Software Engineering [electronic resource]

0
索取号：
作者：Burge、 Janet E.、Carroll、 John M.、McCall、 Raymond.、Mistrik、 Ivan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues [electronic resource] : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

0
索取号：
作者：Okada、 Mitsu.、Satoh、 Ichiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

0
索取号：
作者：Lumpe、 Markus.、Vanderperren、 Wim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations [electronic resource]

0
索取号：
作者：Mathew、 Tarek Poonithara Abraham.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

0
索取号：
作者：Arvind、 V.、Prasad、 Sanjiva.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Transactions on Aspect-Oriented Software Development IV [electronic resource]

0
索取号：
作者：Rashid、 Awais.、Aksit、 Mehmet.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Product Management and Pricing [electronic resource] : Key Success Factors for Software Organizations

0
索取号：
作者：Kittlaus、 Hans-Bernd.、Clough、 Peter N.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Jets From Young Stars III [electronic resource] : Numerical MHD and Instabilities

0
索取号：
作者：Massaglia、 S.、Bodo、 G.、Mignone、 A.、Rossi、 P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Datatype-Generic Programming [electronic resource] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

0
索取号：
作者：Backhouse、 Roland.、Gibbons、 Jeremy.、Hinze、 Ralf.、Jeuring、 Johan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

0
索取号：
作者：Butler、 Michael.、Hinchey、 Michael G.、Larrondo-Petrie、 Mar铆a M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

0
索取号：
作者：Shao、 Zhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Evolution [electronic resource]

0
索取号：
作者：Mens、 Tom.、Demeyer、 Serge.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.